Blar i SINTEF Open på forfatter "Svendsen, Andreas"

Viser treff 1-3 av 3

    • A Generic Language and Tool for Variability Modeling 

      Fleurey, Franck; Haugen, Øystein; Møller-Pedersen, Birger; Olsen, Gøran Klepp; Svendsen, Andreas; Zhang, Xiaorui (Research report, 2009)
      This paper presents an approach to variability modeling where variability models are made in a separate, generic language CVL (Common Variability Language) that works with any other language defined by a metamodel. CVL ...

    • Improving Domain-Specific Languages by Analyzing, Constraining and Enhancing Metamodels 

      Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger (Research report, 2011)
      We present an approach for improving domain-specific modeling languages (DSML) by automatically revealing unintended models and subsequently introducing constraints to disallow these. One purpose with domain-specific ...

    • Optimizing Alloy Models 

      Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger (Research report, 2011)
      This paper presents three possible optimizations of Alloy models, including how and when to implement these optimizations. Alloy is a formal light-weight language for performing incremental and automatic analysis. Analysis ...